Conflict-Free Replicated Data Types